Logic and Communication in Multi-Agent Systems
نویسندگان
چکیده
To express knowledge and communication in multi-agents systems, a hybrid of possible-worlds and game-theoretic semantics is defined for the language of independence-friendly (IF) first-order epistemic logic. The language distinguishes between specific and non-specific knowledge by hiding worlds. Identification on stratified domains is via imperfect information that agrees with cross-world references by coordinating information sets with world-bound aspects of individuals. Applications range from intentional identities (cross-modal anaphora) to reasoning and communication about focussed knowledge. Modelling and model checking web services
منابع مشابه
Modeling Lateral Communication in Holonic Multi Agent Systems
Agents, in a multi agent system, communicate with each other through the process of exchanging messages which is called dialogue. Multi agent organization is generally used to optimize agents’ communications. Holonic organization demonstrates a self-similar recursive and hierarchical structure in which each holon may include some other holons. In a holonic system, lateral communication occurs b...
متن کاملAdaptive Neural Network Method for Consensus Tracking of High-Order Mimo Nonlinear Multi-Agent Systems
This paper is concerned with the consensus tracking problem of high order MIMO nonlinear multi-agent systems. The agents must follow a leader node in presence of unknown dynamics and uncertain external disturbances. The communication network topology of agents is assumed to be a fixed undirected graph. A distributed adaptive control method is proposed to solve the consensus problem utilizing re...
متن کاملAdaptive Distributed Consensus Control for a Class of Heterogeneous and Uncertain Nonlinear Multi-Agent Systems
This paper has been devoted to the design of a distributed consensus control for a class of uncertain nonlinear multi-agent systems in the strict-feedback form. The communication between the agents has been described by a directed graph. Radial-basis function neural networks have been used for the approximation of the uncertain and heterogeneous dynamics of the followers as well as the effect o...
متن کاملFault Detection and Isolation of Multi-Agent Systems via Complex Laplacian
This paper studies the problem of fault detection and isolation (FDI) for multi-agent systems (MAS) via complex Laplacian subject to actuator faults. A planar formation of point agents in the plane using simple and linear interaction rules related to complex Laplacian is achieved. The communication network is a directed, and yet connected graph with a fixed topology. The loss of symmetry in the...
متن کاملA Hybrid Modeling for Continuous Casting Scheduling Problem
This paper deals with a multi-agent-based interval type-2 fuzzy (IT2F) expert systemfor scheduling steel continuous casting. Continuous caster scheduling is a complex and extensiveprocess that needs expert staff. In this study, a distributed multi-agent-based structure is proposed as asolution. The agents used herein can cooperate with each other via various communication protocols.To facilitat...
متن کاملMulti-Agent Systems: A Theory Based on Organization and Communication Concepts
This paper presents a theory for multi-agent systems based on communication concepts and organization concepts. The language of formulation is a first-order, multi-modal, linear-time logic. The underlying semantics of this language are labeled transition systems. An agent state is described by a triplet including beliefs, goals as communication concepts and roles as organization concepts. A tra...
متن کامل